1

Art in Italy || Andrea del Verrocchio. Life and Workby Dario A. Covi

Year:
2007
Language:
english
File:
PDF, 361 KB
english, 2007
3

A Stero-Photogrammetric Method for Measuring Displacement Fields

Year:
1970
Language:
english
File:
PDF, 1.00 MB
english, 1970
5

Early evolution of the Eukaryota

Year:
2015
Language:
english
File:
PDF, 1.02 MB
english, 2015
9

Observer variation in vascular CT measurements of the abdominal aorta

Year:
2008
Language:
english
File:
PDF, 371 KB
english, 2008
11

New Evidence for the Iconography of David in Quattrocento Florence

Year:
1995
Language:
english
File:
PDF, 3.88 MB
english, 1995
13

A Source for Michelangelo's National Gallery Entombment

Year:
1989
Language:
english
File:
PDF, 1.16 MB
english, 1989
15

[untitled]

Year:
1994
Language:
english
File:
PDF, 785 KB
english, 1994
17

[untitled]

Year:
1995
Language:
english
File:
PDF, 478 KB
english, 1995
21

Preface

Year:
2005
Language:
english
File:
PDF, 63 KB
english, 2005
22

Semantic Domains for Handel-C

Year:
2003
Language:
english
File:
PDF, 211 KB
english, 2003
23

An Operational Semantics for Handel-C

Year:
2003
Language:
english
File:
PDF, 189 KB
english, 2003
25

A denotational semantics for Handel-C

Year:
2011
Language:
english
File:
PDF, 253 KB
english, 2011
31

A “Hardware Compiler” Semantics for Handel-C

Year:
2006
Language:
english
File:
PDF, 324 KB
english, 2006
32

Mechanising a formal model of flash memory

Year:
2009
Language:
english
File:
PDF, 794 KB
english, 2009
35

New window on Proterozoic life

Year:
1989
File:
PDF, 256 KB
1989
38

A UTP approach towards probabilistic protocol verification

Year:
2012
Language:
english
File:
PDF, 183 KB
english, 2012